SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 
Not enough search parameters. I'm using defaults.
FILE WASN'T FOUND IN ANY RPM FILE. TRYING TO SEARCH THIS FILE ON FTP SERVERS
You have chosen search rpm in world FTP resources.
Not enough search parameters. I'm using defaults.
Display 481 - 520 hits of 1035. Search took 0.01 seconds.
3
3
4
4
5
5
6
6
7
7
8
8
9
9
10
10
11
11
12
12
13
13
14
14
15
15
16
16
17
17
18
18
19
19
20
20
21
21
22
22
23
23

Search results for coq :
Filename  Distribution  File size
coq-debuginfo-8.4pl6-2.x86_64.rpm  PLD  209 kB  
coq-debuginfo-8.4pl6-2.x32.rpm  PLD  4 kB  
coq-debuginfo-8.4pl6-2.i686.rpm  PLD  204 kB  
coq-debuginfo-8.4pl6-1.x86_64.rpm  PLD  210 kB  
coq-debuginfo-8.4pl6-1.x32.rpm  PLD  4 kB  
coq-debuginfo-8.4pl6-1.i686.rpm  PLD  206 kB  
coq-debuginfo-8.4pl5-1.x86_64.rpm  PLD  4 kB  
coq-debuginfo-8.4pl5-1.i686.rpm  PLD  4 kB  
coq-debuginfo-8.4pl5-1.i486.rpm  PLD  4 kB  
coq-debuginfo-8.3pl1-2.x86_64.rpm  PLD  3 kB  
coq-debuginfo-8.3pl1-2.i686.rpm  PLD  3 kB  
coq-debuginfo-8.3pl1-2.i486.rpm  PLD  3 kB  
coq-debuginfo-8.3pl1-1.x86_64.rpm  PLD  4 kB  
coq-debuginfo-8.3pl1-1.i686.rpm  PLD  4 kB  
coq-debuginfo-8.3pl1-1.i486.rpm  PLD  4 kB  
coq-debuginfo-8.20.0-1.1.x86_64.rpm  OpenSuSE  11975 kB  
coq-debuginfo-8.20.0-1.1.x86_64.rpm  openSUSE Tumbleweed  11975 kB  
coq-debuginfo-8.20.0-1.1.i586.rpm  openSUSE Tumbleweed  9856 kB  
coq-debuginfo-8.19.2-1.2.x86_64.rpm  OpenSuSE  15036 kB  
coq-debuginfo-8.19.2-1.1.x86_64.rpm  OpenSuSE  15072 kB  
coq-debuginfo-8.19.1-bp156.1.14.x86_64.rpm  OpenSuSE  14286 kB  
coq-debuginfo-8.19.1-bp156.1.14.s390x.rpm  OpenSuSE  7974 kB  
coq-debuginfo-8.19.1-bp156.1.14.ppc64le.rpm  OpenSuSE  11544 kB  
coq-debuginfo-8.19.1-bp156.1.14.aarch64.rpm  OpenSuSE  13961 kB  
coq-debuginfo-8.18.0-4.fc40.x86_64.rpm  Fedora 40  347 kB  Info
coq-debuginfo-8.18.0-4.fc40.s390x.rpm  Fedora 40  22 kB  
coq-debuginfo-8.18.0-4.fc40.aarch64.rpm  Fedora 40  349 kB  
coq-debuginfo-8.18.0-10.fc41.x86_64.rpm  Rawhide  366 kB  
coq-debuginfo-8.18.0-10.fc41.x86_64.rpm  Fedora Other  366 kB  
coq-debuginfo-8.18.0-10.fc41.s390x.rpm  Rawhide  22 kB  
coq-debuginfo-8.18.0-10.fc41.s390x.rpm  Fedora Other  22 kB  
coq-debuginfo-8.18.0-10.fc41.ppc64le.rpm  Rawhide  368 kB  
coq-debuginfo-8.18.0-10.fc41.ppc64le.rpm  Fedora Other  368 kB  
coq-debuginfo-8.18.0-10.fc41.aarch64.rpm  Rawhide  367 kB  
coq-debuginfo-8.18.0-10.fc41.aarch64.rpm  Fedora Other  367 kB  
coq-debuginfo-8.18.0-1.fc39.x86_64.rpm  Fedora 39  357 kB  Info
coq-debuginfo-8.18.0-1.fc39.aarch64.rpm  Fedora 39  357 kB  
coq-debuginfo-8.17.1-5.fc39.x86_64.rpm  Fedora 39  348 kB  Info
coq-debuginfo-8.17.1-5.fc39.aarch64.rpm  Fedora 39  345 kB  
coq-debuginfo-8.16.1-1.mga9.x86_64.rpm  Mageia Cauldron  25453 kB  Info

3
3
4
4
5
5
6
6
7
7
8
8
9
9
10
10
11
11
12
12
13
13
14
14
15
15
16
16
17
17
18
18
19
19
20
20
21
21
22
22
23
23
  
ICM